False, no states satisfying <{1,3}, 2>Xa have been found!
